-- Expected output: true
DEF MAIN:bool == and(true, true)

